literal in Boolean function